Safe and Reliable Metro Platform Screen Doors Control/Command Systems
نویسنده
چکیده
In this article we would like to present some recent applications of the B formal method to the development of safety critical system. These SIL3/SIL4 compliant systems have their functional specification based on a formal model. This model has been proved, guaranteeing a correct by construction behaviour of the system in absence of failure of its components. The constructive process used during system specification and design leads to a high quality system which has been qualified by French authorities.
منابع مشابه
Simulation of Metro Train Fire in an Underground Station of Tehran Metro Line 7
In this research a fire scenario was simulated in one of the stations of the line 7 of Tehran's subway system. The Line 7 is under construction and the ventilation system is under design. Fire was set for a stopping metro train at the platform of the station. A 160 meter length eight-car metro train with the forth wagon on the fire was studied. The heat release rate is based on a quadratic f...
متن کاملTowards Automatic Train Operation for long distance services: State-of-the art and challenges
The Automatic Train Operation of a metro line is not so difficult to implement: almost no junction or crossing between lines, rolling stock homogeneity, double track operation, relatively low speed, very simple station track layout, mostly rubber-mounted, and specific site continuously fenced with no level crossing. Tunnels and platform screen doors complete the picture to prevent almost totall...
متن کاملDesign of the Monitoring System for Subway Platform Screen Doors Based on CAN Bus
In this paper, the application layer communication protocol of CAN bus and the monitoring system for subway platform screen doors are proposed. The system framework is built, hardware of every function module for this system is selected, and the monitoring platform of epigynous machine is designed. On the basis of the above work the communication function of the monitoring system is realized, a...
متن کاملConstrained Controller Design for Real-time Delay Recovery in Metro Systems
This study is concerned with the real-time delay recovery problem in metro loop lines. Metro is the backbone of public transportation system in large cities. A discrete event model for traffic system of metro loop lines is derived and presented. Two effective automatic controllers, linear quadratic regulator (LQR) and model predictive controller (MPC), are used to recover train delays. A newly-...
متن کاملNear-Minimum Time Optimal Control of Flexible Spacecraft during Slewing Maneuver
The rapid growth of space utilization requires extensive construction, and maintenance of space structures and satellites in orbit. 
This will, in turn, substantiate application of robotic systems in space. In this paper, a near-minimum-time optimal control law is developed for a rigid space platform with flexible links during an orientating maneuver with large angle of rotation. The time op...
متن کامل